1

Internal combustion engine 4.0

Année:
2018
Langue:
english
Fichier:
PDF, 1.41 MB
english, 2018
2

Efficiency and Emission Measures for Future High-performance Engines

Année:
2019
Langue:
english
Fichier:
PDF, 1.28 MB
english, 2019
4

48-V Plug-in Hybrid Vehicles for Inner-city Zero Emission

Année:
2019
Langue:
english
Fichier:
PDF, 1.94 MB
english, 2019
16

Potentials of Engines with Variable Compression Ratio

Année:
2012
Langue:
english
Fichier:
PDF, 1.51 MB
english, 2012
18

Closing a System in the Dynamic Input/Output Automata Model

Année:
2011
Langue:
english
Fichier:
PDF, 179 KB
english, 2011
21

Modular hybrid transmission family

Année:
2018
Langue:
english
Fichier:
PDF, 1.21 MB
english, 2018
35

Construction of logically correct communication protocols without over-specification

Année:
1988
Langue:
english
Fichier:
PDF, 935 KB
english, 1988
38

Verifying networks of processes that communicate via shared variables

Année:
1992
Langue:
english
Fichier:
PDF, 560 KB
english, 1992
39

Developing multi-user interfaces for CSCW environment

Année:
1993
Langue:
english
Fichier:
PDF, 305 KB
english, 1993
40

A true concurrency semantics for parallel programs

Année:
1993
Langue:
english
Fichier:
PDF, 348 KB
english, 1993
41

Derivation of protocols implementing services with event priorities

Année:
1993
Langue:
english
Fichier:
PDF, 337 KB
english, 1993
42

ACTLW – An action-based computation tree logic with unless operator

Année:
2008
Langue:
english
Fichier:
PDF, 661 KB
english, 2008
45

Verification of XTP context management closing procedure in style of TLA

Année:
1997
Langue:
english
Fichier:
PDF, 2.17 MB
english, 1997
46

Deriving protocols for services supporting mobile users

Année:
2000
Langue:
english
Fichier:
PDF, 496 KB
english, 2000